在Day1講解了零知識證明的基礎，今天會講解

• 零知識證明的特性及
• 為什麼要使用零知識證明
• 零知識證明的應用

1. 當中提及到的例子也展示了它應該要具備的三個特性:
   完整性(completeness)、可靠性(soundness)、零知識性(zero-knowledge)

• 完整性(completeness):
  如果陳述是真的，驗證方只需要正確地遵守協議完成驗證就可以。最後會得出證明該是否真。
  在例子中如果證明方提供的證明是正確的，在證明方完成所有測試(多輪測試)後。
  只要提供的證明只要是正確，驗證方獲得結果會是真。

• 可靠性(soundness):
  如果陳述是假的，就不會有任何證明方能夠讓驗證方通過這個陳述。
  在例子中如果證明方提供的證明不是正確的，是無法通過驗證方的驗證。
  為了提高可靠性，在過程中就可能需要證明方進行多次測試，目的是為了確保證明方是真的知道陳述。

• 零知識(zero-knowledge):
  在整過驗證過程中，除了陳述之外，驗證方是不會得知道其他資訊。
  因為驗證方只能道驗證結果的真偽，而不會知道其他資訊(例如例子中證明方所擁有的密碼或相關個人資料等等 )。
  其實可以理解為驗證方的存在目的，只有一個，就是進行驗證。只要對證明進行驗證及得出結果就可以，
  完全不用去檢視其他資料。

2. 為什麼要使用零知識證明？
   零知識證明在web3領域中越來越受到關注及應用，主要是隨時代發展，數字化的應用越來越廣泛。基本上大家每天都會用到手機或電腦等，都需要用上互聯網，需要用到各種應用程式。大家都開始意識到數字資料的安全性及對保護敏感資訊的意識開始提高，就開始尋找一些解決方案，希望可以進一步地保護敏感資訊。
   由於零知識證明的出現已經引起了很多關注和研究，最近幾年在零知識證明也出現各種的新型算法和應用方案。

3. 零知識證明的應用
   零知識領域可分為基礎設施、網路和應用程式三層

• 基礎設施:
  包括用於開發協議或應用程式的軟件或硬件裝置，例如編程框架、零知識證明處理器、零知識證明網路和硬體加速等。這些基礎設施為開發者提供了開發零知識證明應用的工具。
• 網路:
  利用零知識證明技術的L1/L2協議，包括ZK-EVM和ZK-Rollup等。
• 應用程式:
  利用零知識證明技術的產品，包括私密支付、各種身份驗證、交易等。

4. 零知識證明的應用案例

• Zcash
  Zcash是最早採用到零知識證明技術的區塊鏈項目，他們使用zk-SNARK(Zero-Knowledge Succinct Non-Interactive argument of Knowledge)來驗證交易是合法正確的，同一時間又可以不用向驗證者透露交易雙方的背景、交易內容或其他敏感的資訊，只要能夠驗證到證明是否正確就可以。因此整個交易流程可以做到匿名交易的效果。
  Zcash 的目的是想加強經濟自由的加密貨幣。它的設計與比特幣差不多，但它使用私隱技術來加密交易相關的資訊令到用戶可以進一步地保護自己的個人私隱和資產。
  2016年Zcash 的出現讓到大家可以體驗到真正在整個交易中能夠隱藏匯款人、收款人及進行交易的金額的加密貨幣種類，這種應用是運用 zk-SNARKs技術將可以被其他人查詢的資訊隱藏，實現進一步保障用戶的個人私隱，零知識證明就能讓區塊鏈上的加密貨幣及交易雙方的資訊也能具有私隱權，可以進行隱藏，保障私穩。

參考資料:

1. Zero-knowledge proofs | ethereum.org
   https://ethereum.org/en/zero-knowledge-proofs/
2. Understanding the Zero-Knowledge Landscape
   https://www.coinbase.com/blog/understanding-the-zero-knowledge-landscape
3. Zcash 官網
   https://z.cash/learn/what-is-zcash/